Nachweis von β-Naphtol in Soja-Sauce

Formaler Nachweis der Fehlertoleranz von Schaltkreisen

While facing continuously shrinking feature sizes, the demand for fault tolerance in digital circuits increases. Numerous approaches to achieve such robustness on the design side have been presented. But ensuring that the fault tolerance is really achieved is a tough verification problem. Here, we propose a formal model and an effective algorithm to formally prove the robustness of a digital ci...

Astree: Nachweis der Abwesenheit von Laufzeit

Interpretation Based Static Analyzers. In

Nachweis von kategorialer Identifikation durch adäquate Reproduktion von natürlichsprachlichen Signalen in phonetischen Hörtests

Ansätze zum Nachweis der Gleichwertigkeit von Software-Komponenten

Wie kann man heute ein bereits seit Jahren im Markt befindliches System nach einer Änderung effizient rezertifizieren? In diesem Artikel wird ein Lösungsansatz skizziert. Ausgehend von einer Risikoanalyse werden geeignete Vorgehensweisen und Kriterien abgeleitet, mit denen sich operational die Gleichwertigkeit von Software-Komponenten fassen lässt. Ein effizientes Vorgehen sähe dann wie folgt a...

Strategien zur sicheren Bereitstellung von Energiedaten und zum Nachweis von Informationsweitergaben gemäß §9 EnWG

1. Einleitung